Relational Set Theory
نویسنده
چکیده
This article presents a relational formalization of axiomatic set theory, including socalled ZFC and the anti-foundation axiom (AFA) due to P. Aczel. The relational framework of set theory provides a general methodology for the fundamental study on computer and information sciences such as theory of graph transformation, situation semantics and analysis of knowledge dynamics in distributed systems. To demonstrate the feasibility of relational set theory some fundamental theorems of set theory, for example, CantorBernstein-Schr oder theorem, Cantor's theorem, Rieger's theorem and Mostowski's collapsing lemma are proved.
منابع مشابه
A Logic of Type Relations and its Applications to Relational Databases
A calculus of typed relations subsuming the classical relational database theory is presented. An associated sound and complete deduction mechanism is developed. The formulation is generalized to deal with nondeterministic databases and information relations in the rough set-style. keywords: relational logic, typed relations, relational database, nondeterministic databases, information relation...
متن کاملReview of Fuzzy Logical Database Models
Fuzzy set theory has been extensively applied to extend various database models(conceptual and logical) and resulted in numerous contributions, mainly with respect to the popular relational model or to some related form of it. So this paper reviews fuzzy logical database models, in which fuzzy relational databases are discussed.
متن کاملPrioritized fuzzy logic based information processing in relational databases
Many years of research related to fuzzy logic and fuzzy set theory extensions to relational databases have not lead to stable implementations, standardized languages or fuzzy relational database application development tools and methods. The main goal of this paper is the modelling and the implementation of a set of tools that allow usage of fuzzy logic enriched with priorities in relational da...
متن کاملA Rough Set based Data Inconsistency Checking Method for Relational Databases
In order to deal with data inconsistency problems in relational databases, a new method based on rough set theory which checks data consistency solely based on data is presented. The inconsistent data that exist under the attribute sets in the relations having possible functional dependencies can be found effectively by applying the suggested rough set based consistency checking method. The met...
متن کاملBasic Formal Properties of A Relational Model of The Mathematical Theory of Evidence
The paper presents a novel view of the Dempster-Shafer belief function as a measure of diversity in relational data bases. The Dempster rule of evidence combination corresponds to the join operator of the relational database theory. This rough-set based interpretation is qualitative in nature and can represent a number of belief function operators.
متن کاملذخیره در منابع من
با ذخیره ی این منبع در منابع من، دسترسی به آن را برای استفاده های بعدی آسان تر کنید
عنوان ژورنال:
دوره شماره
صفحات -
تاریخ انتشار 1995